dual proposition

对偶命题